This is actually a term or term*, not an astate
This accepts three arguments
Remove confusing require condition

The require form

  (rename-in module-name)

is equivalent to

  module-name

but far more confusing.

This particular example was the result of a deleting some pre-existing import
renames but not the `rename-in' form
Use a more informative printing style for abstract values/states

The previous style was verbose and not useful. For example, the register
environment and token register of an abstract state are usually unimportant and
are visually difficult to parse. If such detailed information is needed, a
special print statement should be used.