TypeChecker Implementation for forms