Constructor Theory: expressing laws in terms of what is possible or impossible