### uCOMmandIt Type Library Extension of TypeChecker Package