Replaced unification in Pylon core by temporary DeBruijn index conversion.