Added Filter case to TypeChecker.sml