Added not & or in type.sml