Constexpr, Strict type-checking & mp-units