type-settheory-0.1.3.1: Sets and functions-as-relations in the type system