V0.3

OCaml 4.04.0+copatterns 0.3 :

Transformation:

• New syntax for nested copatterns.
• Verify that a child copattern is an instance of its parent.
  (Parser.check_instance)

Syntactic assertions:

• Delegate verification for indexed colabel declaration to the OCaml type checker.
  (delete Parser.check_indexed_cotype)