Refactoring code.
Rename Pi0PathSpace to Pi0Paths
Minor refactoring in SplitCode.agda.
Delete outdated comments.
Add trans-to (nondep funs) and concat-ap.
Add to-is-set.
Rename trans-glue to trans-code-glue.
Improve Pi0Paths.agda.
Make C and CF private in Code.agda.
Remove duplicate code.
Add trans-glue-code.
Use better names and avoid Pack4.
Add ap0-compose.
Add trans-cst-eqiv-id in Pi0Paths.
Re-expose trans-glue rules from SplitCode.
Dependent arguments should be explicit.
Remove the unused Applicative interface.
Add trans-2.
The function from code to path.
Make ap=>path-split private.