separate go and js
WIP: redesigning the search algorithm

necessary to handle the closed reasoning loops in prop.gh.