change won't typecheck into won't compile
add simplified version of README.md
use seq/echo as input of hawk in examples
fix errors
change to Apache v2 license
add license headers