0.7b1 (first beta)

diagnostics in infix expressions have been improved