Refactor FNs, add Reify

Well, here we are, a year later.

The biggest deal here being that `reify` works.