Modified Type.sml to make less than polymorphic
Added final.tex