check_expr() now returns Lit * env; in otherwords, no type in the tuple. Also fixed check_array and other bugs