Rewriting README.
Updated subtype relations.