Move some things out of Misc, add hProp lemmas

We now have better support for paths of hProps
Merge pull request #367 from JasonGross/path_hprop_ua

Move some things out of Misc, add hProp lemmas