Get type inference working in the basic case. Begin working on
printing errors in a prettier way.