created new directory 'sjs'
added note on SJS
note updated: model language definition
remove unncessary files
Merge remote-tracking branches 'origin/symbolic', 'origin/HEAD' and 'origin/master' into symbolic
temporary changes to accommodate assume.
Need to refactor pushPC, popPC and resetPC