types as variables