Simplified and HTML lowered statement dumps

Initial import, adaptation, and cleanup of statement simplification, HTML dump. Original code by @zingales. This needs a review.
Where do these template methods get instantiated? I think your header is writing cheques your object file can't cash.

In any case, the template versions should not be necessary, because an Image<T> can convert to a realization. So try just removing them.