Dependencies for type-settheory-0.1.3

library