Add nullary metas in WhyML

Metas with an empty list of argument types can now be written meta "foo" () in WhyML.

Existing metas that were using empty strings to make them unary (and thus available in the surface language) have been made nullary. For compatibility purpose, they still accept empty strings as argument: meta "foo" "".