ph2thomas: single parameters inference
ph2thomas: property 5 excludes independent parameters in K enumeration
Merge branch 'master' of github.com:pauleve/pint