Language.Clafer.Intermediate.ResolverType