Dependencies for type-settheory-0.1.1

library