Adding a case for type instantiation

Viktor Kuncakrequested to merge
github/fork/mario-bucev/more-instantiation into main

Created by: mario-bucev

Concerns the case ADTType -> RefinementType. However, we drop the prop part, so maybe this is incorrect?

Merge request reports