Somewhat reminded me of the constructive look at TempleOS http://www.codersnotes.com/notes/a-constructive-look-at-temp...