Add categories Agda lib to the path
Submodule updates