Dependencies for type-settheory-0.1

library