MoreProp: Initiall commit, adds some proofs.