make.sh: generate type annotations
debug, CIL: showtemps