WIP towards TraitSpec DSL and abstracted trait resolution.