Added additional var-binding rules