WyIL: Begun implementing Block Attributes.

Previously, WyILFile blocks used SyntacticElement.Attributes.  However,
I am now changing this to use the dedicated WyilFile Attribute type.
This will be more specific and relevant to WyilFiles.