kites.exceptions
Exceptions 
DecompositionException
NoChildrenException
NodeException
NoRewritePossibleException
SyntaxErrorException
UnificationException