Variable and Type Definitions