Closes #375

Fixes #356

...to be able to continue pushing formatted code sanely


Former-commit-id: c26aa15b

Former-commit-id: e49f4ab5

Former-commit-id: ec4769bb

Former-commit-id: 79f9088c

Former-commit-id: 6244bb0e

We don't need the `where` clauses if there's just one MetabolicModel

Design decision: Because we can't have typeclasses even as type tags, we can
not enforce that the functions will be able to statically typecheck that the
given model can in fact return e.g. a genetics-relevant information. Failing
deep in the code because of missing implementation is not an option either.
This is the third choice -- if something's missing, we should just return a
correctly typed "empty" state. Arguably this is good also for converting and
writing models, where it reduces the amount of mixed possibilities for the
conversion.