More extensive use of JUnit theories and totallylazy functional idioms