Move some functions and defs into a library
Incremental commit
Add λύω