added boolean rings
added several new metric transformers; added a deriving mechanism to make working with transformers much easier; it's decent but could be more robust