some renaming
update todo
get edges in SCC manually
references in STerm, for debug purposes
export more types in REPL