bool isGroundHomotype(refObject leftType, refObject rightType) { if (leftType == rightType) { return true; } else { return isSubtype(plainLayer, leftType, skolemLayer, rightType) && isSubtype(plainLayer, rightType, skolemLayer, leftType); }}
inline bool isEndOfFile() { return isEndOfClause() && isSubtype(CLAUSEEND_EOF); }
inline bool isOperator(TokenSubclass t) { return isType(TOKEN_OPERATOR) && isSubtype(t); }