add fail and succeed goals that document how goals work
fix typo in splito
explain why lto($q, $q) has no value (TRS-8-52)
make more use of fresh_all()
fix typo in timeso
partially working version of logo and expo
rename peano pluso so it no longer conflicts with existing name
use oleg numbers for clause and effect inner product
more arithmetic! clause and effect 08, maximum of a list
clause and effect 12, filtering even numbers
binary search
clause and effect 23: frequency distribution
introduce failing test case for disequality on pairs
flattening, from the book
prevent the stack from overflowing by flattening calls to CallableStream::getIterator()
uncomment test case that is now working a little better