freshened up static analysis checks
fixed #313, among other things
added rule for #311
#312 added
found bug in js
#309
fixed a really stupid bug
fixed #314
added #310
did #304, #306
all unification looks good now
Merge pull request #315 from etosch/untested

Untested