Add new section in README file
Typechecker in progress