Fix for superheat with top cell
Merge branch 'master' of https://github.com/kframework/k
Moving heat-choice in K.
Revert "Moving heat-choice in K."

This reverts commit 091c9efa756273df3bbdfd5004b46319b1aeaa3f.
Cleaned maude; moved strictness in k-prelude.k
Merge branch 'master' of https://github.com/kframework/k