add method signatures for missing special forms
fix a bug that is exposed when a symbol doesn't have any usage annotation
add optional argument to analyzer for controling code evaluation, as part of #4
aesthetic change
slight change to example code