A few changes to Basics.v

There are a few cases where the text still talks about tactics like reflexivity and intros.