This evaluates a literal formula back to what it represents being careful to handle diamonds by creating referentially equivalent structures (not just structurally equivalent)
Memoized version of evaluation to handle diamonds
Memoized version of evaluation to handle diamonds
Each call to this creates a new internal memo.
(Since version ) see corresponding Javadoc for more information.