Compiler crash when using an alias to a record constructor

[paulcadman]

See https://github.com/anoma/juvix/tree/alias-record-constructor-bug for a failing test.

module AliasRecordConstructor;

type A := a;

type T := mkT {field : A};

syntax alias mkT' := mkT;

t : T :=
  mkT'@{
    field := a
  };

juvix typecheck on the above file causes:

juvix: Maybe.fromJust: Nothing
CallStack (from HasCallStack):
  error, called at libraries/base/Data/Maybe.hs:150:21 in base:Data.Maybe
  fromJust, called at src/Juvix/Compiler/Internal/Translation/FromConcrete.hs:761:16 in juvix-0.5.5-86FKWMdO6cV1eCQIhkrrGY:Juvix.Compiler.Internal.Translation.FromConcrete