making progress towards type checking