mapping over maps fixed.
Half fixed, still strange type inference issues in the parser and .mapValues.