temp build
added all code, now to compile.
fixpoint builds again