added synonym syntax transformers
more tests for synonym syntax transformer
forbidden redefinition of some syntactic binding properties
extended define-struct