One question on inferred types , does it default to non nullable references ? I kind of like how spec allows you to specify nullable (?) and nonullable (!) types. Ben