L1-Compiler Compiler for the theorical language L1 TODO finish the parser DONE implement L1 typesystem implement the Simple Stack Machine 1 (SSM1) and its semantics implement the compilation of L1 to SSM1