Added an evaluator for STLC