Clearly TempleOS/HolyC is the answer we've been looking for.

http://www.templeos.org