Ported some of the original Retlang specs.