Rename the project and the modules

Use TAPL (for Types And Programming Languages), and put modules into a
proper hierarchy