Added stuff to Type.sml