Changes

Summary

1. Correction to resolution of imported types (commit: 4a78623) (details)

Commit 4a78623dcab00a126191df079b905a942ab227c5 by nick.battle Correction to resolution of imported types (commit: 4a78623)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java