added augmented fixed points
added fixpoint combinators and began work on runtime