Definition of the types required by the interpreter