val typecheck : Types.t_exp -> bool