Type inference tests, Program5 compiles but is ugly
README to explain why I've done all this.