Towards Trace Metrics via Functor Lifting