chore: Remove Init.Propext (#10709) These lemmas can easily go to Logic.Basic
Init.Propext
Logic.Basic