Text this: Algebraic Presentations of Type Dependency