Framework of Basic Simplification algorithm built.

A naive basic simplification code written, there are several things to
consider further: what to return for Simplify; how to choose the triple,
etc