Implement reactive domains
Port showcase mode execution highlighting to domains