Text this: Non-commutative valuation rings and semi-hereditary orders