Improve error message when top module name is wrong

[jonaprieto]

If the top module's name is not as expected, the error is not really helpful to fix it, as in the following picture:

Replace the error message with: "Expected module name: A... defined in file ... A.juvix. Actual name: B.C."

[paulcadman]

We agree this is a good change.