Refactoring Adt_rel using domains on class representatives only

This PR refactors the `Adt` relations in order to use a proper type
for the domains of enum semantic values.
See PR #1078

Author: Halbaroth