Documentation in README.md and shorten comments in definitions.ily