make Prop-level BI connectives notation for bi_emp_valid (rather than bi_entails)

2 jobs for !791 with prop-level-wand in 16 minutes (queued for 9 seconds)
latest merge request