implicit getIterator() on inner stream
unicode function names, introduce ≡ for unification
document arg of call_fresh()
add goal type hint to scheme interface functions
lots of examples in readme, [conso firsto resto] in core, more unicode functions, failing test case for pair reification
appendo, some more todos (oleg numbers)
fix reification of pairs
flatten nested pairs into flat lists
delay evaluation on empty fresh
oleg numbers
some more tooling for parsing oleg numbers
debugging goals borrowed from core.logic
remove accidental copy-pated function
high-level explanation of oleg numbers
simplify unification and reification by having first()/rest() support pairs as a general pair abstraction