Choose whether to use the MonomorphismRestriction on a module by module basis

Just like we have a directive for controlling the defaulting behavior in the type checker, we can have a directive for turning on/off the monomorphism restriction when infering types for a given module.