Added StmtTransformer.

This is a visitor for inserting statements immediately before or after the currently visited node.
Typo in update-rewriting rule.
Added 'assign_update' set operation.
Bugfix StmtTransformer.
Added rewriting for using runtimelib types. Tests broken.
Bugfix relation flattening.
Update tests for runtimelib type rewriting.