completed implementation of maps and set (and fixed missing encoding of float64)