A grammar for Polite Smalltalk