Move `unify` to top-level for easier reading.

An almost purely whitespace patch; try `git show -w`.
Generate pseudo-JavaScript from LOTOS specs.