Defining type system and constants
Working on pre-processing