Shadow Programming Language