Make the vdom type covariant in the 'msg parameter

[copy]

This allows the relaxed value restriction to kick in, for example when writing:

let hr = elt "hr" []

Which is now given the type 'a vdom (previously it was given a weakly polymorphic type).

[alainfrisch]

This makes a lot of sense, thanks!