fixes for lazy vals, module initializers, by-name params, constructor effect inference and annotation.