split type resolution into two phases: only references, only constraints&goals
split type resolution into two phases: only references, only constraints&goals

gsdlab/clafer,juodaspaulius/clafer,gsdlab/clafer,juodaspaulius/clafer