feat: progress with a term

[RaitoBezarius]

progress with X where X can now be a full term, e.g. X := (@SomeSpec.XYZ T U).

TODO:

• [x] diagnose what happens with as and some failures
• [x] add unit tests

Signed-off-by: Ryan Lahfa [email protected]