Text this: Pure Type Systems without Explicit Contexts