Dependencies for type-settheory-0.1.2

library