allow unbound free types to be pretty printed