some cleanups
add some rules on when calls may be statically dispatched
add conventience wrapper for setting methods/classes as final