Clause
type
Clause
makeClause
isEmpty
size
isUnit