setup for type checking