Unrecognised constructor in a pattern results in an exception

[lukaszcz]

Compiling:

module braces;

inductive Unit {
  unit : Unit;
};

f : Unit -> Unit;
f (WTF x) := x;

end;

results is:

juvix: constructor expected on the left of a pattern application
CallStack (from HasCallStack):
  error, called at src/Juvix/Prelude/Base.hs:264:9 in juvix-0.2.1-CZT06Rzh5GNEZIQRWHpfSc:Juvix.Prelude.Base
  error, called at src/Juvix/Translation/ScopedToAbstract.hs:382:11 in juvix-0.2.1-CZT06Rzh5GNEZIQRWHpfSc:Juvix.Translation.ScopedToAbstract

This should be a user-level error message without a stack trace.