This is suggested by the paper. By default any uninferred type will
cause a compilation error. If this boolean is set to true, any
uninstantiated type will be defaulted to Type.Int.