Refactored everything to conform to the new safety guidelines: refinements in input; mixins in output; aliases in bounds