typesafe tree definitions, rewriting checkAtree, checkBtree in progress
checkBtree + UTs implemented
checkCtree implemented, all refactored with operator ==>