A construction of typed lambda models related to feasible computability