[m-dev.] diff: extend support for `any' insts

[Peter Schachte]

Hi Fergus,

I'm a bit confused about this change.  If I understood right, you are now
using the same representation for any mode terms as for bound/ground.  So
how do you tell whether or not its bound?


-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    Do insects spend hours demammaling their programs?