Text this: Theory of higher order interpretations and application to Basic Feasible Functions