Add README.md.
Add LICENSE.
Merge branch 'master' into useAlgebraicDataType