Physical-type correctness in scientific Python. - Marcus Foster; Sean Tregeagle (CoRR, 2018)