[plt-dev] IDE and completion

The main thing this needs is types.  Everything else is details.  Even
in a HO world, you can have at least a subset of names available.  I
do not see how to do this without statically knowing types.

Incidentally, I've been playing with Eclipse for the past week.  I am
deeply underwhelmed by the completion feature -- it's clunky, pops up
too many things, obscures code, etc.  But it could be that the
Microsoft thing is far better designed -- after all, this would hardly
be the only aspect in which Eclipse is like a platypus created by a
furniture designer.

Shriram