Stan fixes

@getaaron I improved one header description and added redundant tests in order to prevent students from hard-coding their answers and passing without actually doing the work.