verse inference code with newer type definitions in inference.v synthesis code with older type definitions in synthesis.v read my thesis, PbE^2, for more details expect progress and cleaner file structure soon™