Update SPPSV-padl05.md

A heavy-weighted approach is to adopt a type system in which highly sophisticated
properties on programs can be captured. 

の訳文