
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>There's <a moz-do-not-send="true"

        href="https://github.com/urweb/urweb/issues/204">an open GitHub

        issue</a> suggesting that the language definition include fewer

      keywords.  That way, the identifiers [Type], [Name], [Unit], and

      [map] become available for user-defined identifiers (as opposed to

      somewhat unappetizing alternatives like [mp] and [Nam] that I've

      gotten used to).</p>

    <p>I think I'm pretty convinced now that the associated PRs make

      sense, but I figured I'd run the idea past the community here

      before committing.  Please let me know if you have any objection

      or suggestion for a different code change.<br>

    </p>

  </body>

</html>