Final implementation (abstracted aligners and implemented Och and Ney's
symmetrization algorithm).