This intention adds an explicit type specification for local values, variables, properties and functions.