It compiles now

Sam, try it now. This is now ready to add as an import, though still
needs some more functionality. (woot)