Scientific computing with confidence using typed dimensions