working on implementing sections 9, 15.5-15.7 of the specification
incorporated Daejun's changes to prototype
implementing sections 9, 15.5-15.7
incorporating changes
Merge pull request #1 from tshull226/master

My work so far on implementing the semantics