SMS: Prompting, modeling, and feedback through proofguides in collegiate typewriting.