Type inference is improved

Most of the Map interface is implemented. Type inference is improved in many cases. Now, any serializable type can be used as keys and values