WIP, but main extractor paths seem to work

This adds a possible macro for building JDBC type sources.

Right now just a size annotation, also might need an unsigned one.

Number of types available probably needs to increase. But it seems to build most of the info we would need for a source
shapeless has some trick where you write the code in a string and you have a test that it won't compile.