- provide a RTT toplevel interpretor, and Try RTT - fixed an overhead due to stubbing - generate less unnecessary subtyping code