semantic: check for assigning to const in exptyper.