added is_true : Bool -> hProp