Text this: An extended type system with lambda-typed lambda-expressions