Defining type system and constants
Constant: add type conversions
Working on pre-processing