typechecking if/for/while, map/filter/qsort, and builtin annotations