DOGMA minus() function, more types and tests