Relative scoping for hierarchical ADT arguments

2 posts were split to a new topic: Status of experimental numeric literals