Replace Record with implicit conversion macro

[cvogt]

Record is covariant in its type parameter. Making it invariant and allowing conversions via an implicit would allow to throw out the lost fields in the underlying map.