Move Agda code to src directory
Reorganize source tree
Update README
Refactoring and comments in Basics
Fix modules to work with new Basics