- Order sorted ACU unification.
 - Some additional overparsing to gracefully recover from typical syntactical errors.
 - Several bugs fixed.