Types and reps for objects.
Constructor for morphisms.