Better partitioning of the monomorphizing code
Add some tests for the mono-binds feature