[Parser] fix `as` in the default case (just type-checking)
[Printer] smt2: print the arguments of a type constructor