Migrate to Either Monad everywhere
Make serialization use Either Monad everywhere, too
Update types accordingly
Start prototyping a context
Fix json loader, although won't help until db creation is in place