Refactor: move methods off specific types

[sophiajt]

This moves methods off specific types. This helps:

a) making type equivalence work when we have instantiated a different set of methods b) allows methods on other types, which we might use in time