Added tactics for embedding Prop into logics using the later operator.