Text this: Logics and Type Systems in Theory and Practice