Describir: Globular multicategories with homomorphism types