Amortisierte Ressourcenanalyse und typisierte Polynominterpretationen (erweiterte Version)