Merge remote-tracking branch 'upstream/master'
Updating: miscellaneous
Merge pull request #50 from bbarker/master

linmap_insert: needs !wrt?
Updating: revertring some effect-annotations
Updating: fixing typos
Updating: fixing error-message reporting
Updating: adding libats-hwxi/cstream_tokener
Updating: adding FALCON/falcon_symbol
Updating: falcon_tokener using symbols now
Updating: improving libats-hwxi/cstream
Updating: working more on FALCON
Updating: improving libats-hwxi/cstream_tokener
Updating: minor addition
Updating: merging
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'upstream/master'
first example attempt half-finished