WIP on trait resolution