Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3

Our Crystal Z3 is progressing nicely and in this episode we want to reach the point where we can just say solver.assert 2 + Z3::IntSort[:x] == 4. It's also time to organize the code into multiple files. I usually like coding this way, just throw ever...