# Map of all mentities indexed by their `full_name`
	var full_names = new HashMap[String, MEntity]