Giving types to hasmaps, and changed "concurrences" by "Appearance"