added Wolfram Language abbrev
re-implement binding keys for some. experimental
more key changes
script to redo syntax coloring