Fixed False_hp, added Negation_hp and Bool_to_hProp