cleaned up propositional skeleton test a bit
fixed bug with edge case in reverseEdges, which had effect due to flattener extra equality. in the process of figuring out how to map currified and flattened terms back (in explanation)