Future plans.
Handling of sorts and applying the growing substitution in unify.
Sort inference overhaul.
Joining simple term abduction answers.
Regression: either too eager normalization or constraint generation bug(s).