handle :fail in sem-impl (though sem-impl probably should not be getting :fail as an input - indicates a bug in generate code)
add "corto (short)"
filtering heads and comps top-down for faster lazy generation.
move some logging from info to debug.