Better doc comment support in variant

[shulhi]

Currently the following produce syntax error,

type t = 
  /** non-negative integer constant */
  | Numeral(float)
  /** Addition [e1 + e2] */
  | Plus(expression, expression)

This should be supported.