Text this: A rich hierarchy of functionals of finite types