refined if-structuring algorithm
slowly working through deficiencies in the stmt/expr interpreter; also some if test cases