Adding checks, adding initial migration compiler
Adding example configuration
In working state again