### uCOMmandIt Type Library

Extension of TypeChecker Package