Added wrapper functions for andalso and orelse
Corrected syntax error in type checker and interpreter