Initial type rules and constraints