Update types.sota

Changed must -> should on capitalization.  Remove operator overloading that would require the name of Type... -sai