Cleaned up lowering.

* It now takes high level programs,
* Deleted construct.py,
* It's much cleaner as a result,
* Some work is required to make the high->low lowering efficient,