WIP on trait specs and resolution