Added Type Blacklist to type checker