Explicitly require one Int.
Some modifications to the model to remove some relations that don't need
to be instantiated.
Extract everything that we don't need synthesized into a function.