Translation testing

Java translation testing checkpoint. Some simple facilities such as RevStack have been tested. There are no doubt still bugs and shortcomings with this version -- these will have to be addressed over the next several weeks. Currently operations cannot be passed around as parameters reliably -- so don't try it.