Built a definitional interpreter that parses, desugars and interprets the value of a core-language expression.