Add information about Adt representation

[celinval]

Add information about the representation options provided by the user. Maybe we can encapsulate RepreOptions and provide public methods similar to the internal structure [1].

[ShoyuVanilla]

@rustbot claim