Updated Types specification
Updated readme