Add to standard test suite.  Repair types in Processor
No more need for RBTest.  All functionality has been moved into proper ScalaTest system, using Test.scala
Improve RB test code.  Add debug support to inferred type structures.  Fix bug in UNION prophecy code which would cause algorithm to not make stepwise progress.