When adding type checking to large untyped project you may want to use inference features only.
For example, say you only want to check MemberExpression you may want a pragma that only enables MemberExpression type errors.
This will probably have to be used together with the "return mixed" pragma