Support types for variables, arguments and return values
