rename sequence to statement
fix make clean
the first argument of define (signature) could be a single keyword
lambda
add diagrams to readme