A Constructive Look at TempleOS (2015)