added the ability to write mathematical set expressions
Merge pull request #77 from yushan87/set-fix

added the ability to write mathematical set expressions
changed the syntax of short facility module to use the facility declaration rule
make sure the uses list is not null
Merge pull request #78 from yushan87/short-facility-fix

Short Facility Grammar Change