Ensure a property is greater than a different property? - arktype