Added the Parser, elaboration and evaluation