optimization

[tombl]

I clearly need to write a proper benchmark at some point (or even better, port an existing benchmark), because speculatively optimizing isn't good.

Anyway: currently we have a lot of polymorphic functions that internally convert to a value of a known type. These should definitely be split into multiple functions, so the inner functions can be monomorphic instead.