Update SPPSV-padl05.md

A heavy-weighted approach is to adopt a type system in which highly sophisticated
properties on programs can be captured. 

の訳文
Merge pull request #4 from dif-engine/patch-4

Update SPPSV-padl05.md