Hole
ReificationMacros
hasCurr
TokenIterator
holes
Mode Pattern Term