The Lively Kernel runtime and development environment