A compiler-definition language based on "context rewriting" [BSD license]