Added binding-skip to the BNF
Added reference, procedure and function types, improved comments