Renams of vals in hlist enrichments