Add a resolving test
WIP
Restructure and progress towards simple compile

For now, we're going to use the operations as a library. We have some
work to do before they can transparently be used as commands, but we're
keeping an eye on making sure they remain conceptually usable over the
shell.