logsyntax (no semantics yet)