added TypeChecker to Front