Idris Hierarchical Libraries