rework mine stuff slightly, more work on fully defining mineTE