wfv-widen-eta will need invert-wf-rec
add build.sbt and modularize test2 a bit
small fix in lte
split tests
protect output against cycles
some typing rules