C++ type library implementation of various hardware fault tolerance techniques