HighPrecProp addition

Restructured all Propagation functionality into its own set of inline functions in include/HighPrecProp.hpp