Moved some decls to .h; removed 'vass' instrumentation
Added a test that checks whether 'param' and 'type' functions read their actual arguments with run-time values
Added a feature request that the value of a sync/single variable be read when it is the receiver calling a method on the underlying type