Turning code fragments involving ATypeName into a program that compiles