Specks enables a different way to check that your Ceylon code works