Unboundedness for Recursion Schemes: A Simpler Type System