Nominal Types and Module Identification in SimplicityHL

[apoelstra]

@stringhandler

should a multi-file SimplicityHL program have an exact equivalent single file SimplicityHL program

I think we should support inline mod {} syntax as in Rust. So use mymodule; is the same as mod mymodule { /* contents of mymodule.simf inline here */ }.