go big on inputs, make sure we're not just succeeding on empty
fix memoisation, % macro, more leftrec tests, still doesn't quite work