Propagate record equations in Adt_rel

[Halbaroth]

In #1095, we move record context for constructor term from Records.make to Adt.make.
In #1095, the context of X.make is not always propagate to CC(X) in Adt_rel.