A tier-based typed programming language characterizing Feasible Functionals (Logical Methods in Computer Science, 2022)