Text this: A tier-based typed programming language characterizing Feasible Functionals