Hole
ReificationMacros
hashCode
ParseException
Error
Success
head
InfixContext
holes
Mode
Pattern
Term