Add type sig comments to impl, breaking test for map literal.