Toplevel: color toplevel phrases