[Ur] Feedback and questions

[Adam Chlipala]

Adam Chlipala wrote:
> Artyom Shalkhakov wrote:
>> Is it possible to invoke the compiler for syntax analysis
>> and type-checking then? Something like "urweb --typecheck foo".
>
> I'll add a way to do that with the command-line tool, too.

Done, like "urweb -tc foo" with the version in the public Mercurial 
repo, which also contains additional experimental stuff.