Now we need to define what typing rules go in the presentation