Added some pretty-ugly-printing
Fixed function references
Generalizing move specs -- because suffering is fun
Added type propagation