added expected types to most basictypes in Type.sml