[Axiom-developer] getUsersOfConstructor

[daly]

Martin,

The search for the root of the Users problem continues.
There have been a couple problems so far. One was due 
to a typo which caused boot to stop translation of br-op2.
There used to be a check for a complete boot translation 
during build. That check needs to be re-implemented.

The second problem seems to be that it cannot find libdb.text.
It is not clear how this ever got broken but it needs to be fixed.

A third problem has arisen due to parsing libdb.text which will
be the next task.

So far I cannot report success.

Tim