update with latest sources
add tests from executable semantics
update README