Typechecks with new intermediate rep.  Now onto debugging.