Cleans up erasure, adds tests for simple actors and traced actors, working implementation (although still have a few dead letters).