Typecheck: remove IsOneOf
Typecheck: remove Class