Add typing rules