fix compiler tests for printing of types

n.b. not actually testing the printing of types (since I don't want to
construct the map from declarations to type names, which type inference
would provide), just working around it.