fix broken tests by previous  change
begin work converting 5_types to java backend
more fixes to 5_types
temp
more fixes to 5_types lesson_4
fix nontermination
fix final program in lesson 4
fix lessons 4 through 8
fix lesson 9
fix search pattern matching in java backend when it matches multiple subterms