Add time complexity notes

[m2ym]

Something like this:

Variable pattern: O(1)
Constructor pattern: O(n) where n = arity of the constructor