fixes #113 - uncomments code needed for calculating the key type of a map type element and adds a corresponding test