use :string instead of :str for string type, add VarExp types (not yet FunCallExps, though)