'My CS teacher also resolved many difficulties with the = sign by always reading code like "a = b" as "a gets b"'

This is one of the great things about Pascal. The := sign is used for assignment, and the equals sign alone is used for equality. It's very natural to call := 'gets' and keep a clear distinction between assertions and assignments.