Lightweight semiformal time complexity analysis for purely functional data structures