Add Map type, empty and insert
Fix redundantTypes: GetDefinition isn't redundant. LiteralIntegers are redundant