syntax changes to type and type family declarations
Merge pull request #25 from yushan87/grammarChanges

syntax changes to type and type family declarations
added 'externally' to all standard facilities.
createJar overwrote the handcoded version of Boolean_Template.java -- meaning it left out the 'createBoolean()' method. I've added that method back. In the next commit I'll add Boolean_Template.co to the no compile list.
made the line breaks uniform for some standard facility files
removed the dangling 's' character from Boolean_Template.java
REMOVED the Boolean createBoolean() method. Looked at first method in file *facepalm*
Merge pull request #26 from Welchd1/externally-additions

'externally' standard facility keyword addition
changed all SubString to Prt_Btwn
Merge pull request #27 from yushan87/prt-btwn-fixes

changed all SubString to Prt_Btwn
updated the ignore file so it will have folder called User that doesn't add the facilities inside them to GitHub
Merge pull request #28 from yushan87/gitignore-fix

Gitignore fix
fixes for Murali
Merge pull request #29 from yushan87/update-murali

fixes for Murali
sorting for gb-queues
Merge pull request #30 from yushan87/gbqueue-selectionsort

sorting for gb-queues
replaced the substring with prt-btwn again...
Merge pull request #31 from yushan87/string-theory-fix

replaced the substring with prt-btwn again...
substring theorems
Merge pull request #32 from yushan87/theorem-fix

substring theorems