Set main to current after-migration state

[milojezek]

I'm just pushing the current state of the project to the main branch. This code is the starting point for our other work.