Some progress on Exe2: normalization and <<:>>.