Clarify classical, constructive, intuitionistic in intro

Since everyone seems to like this version, I'm submitting a pull request.