switched to path notations in statements of hProp and hSet