remove delta from C, edit reducton solve and dis-solve accordingly
remove pi
get rid of top and bottom in delta, refactor check/disunify/solve/dis-solve
add tests to make, fix a bug in check
remove appendix