can we remove `tailor(type)` fully?

[simonpcouch]

A continuation of #14. From my read of this argument as it stands, we type check it along the way and ensure it doesn't misalign with the adjust_*() functions used but never use it otherwise? Can we just check the compatibility of adjustments by themselves?