Major change. Total map key is now a member type called Id. Allows use-site variance. Id type is now represented by a number.