Are there better ways for memoization?

[fridis]

Check what mechanisms other languages provide for memoization, e.g. Haskell's Chimera to find what might fit for Fuzion to improve momoization as added for #1522. Criteria that are important here

• high average case performance, both on time and space usage, O(1) or O(ln)
• predictable performance, i.e. worst case performance should also be high
  • optimizations that only statistically provide high performance like hash tables should be optional
  • maybe selectable via an effect?