Coaxioms: flexible coinductive definitions by inference systems (Logical Methods in Computer Science, 2020)