[Parameterized Modules] Crash when attempting to backtick-import non-parameterized module

[WeeknightMVP]

// T.cry
module T where
  x = True

// I.cry
module I where
  import `T

> cryptol I.cry
┏━╸┏━┓╻ ╻┏━┓╺┳╸┏━┓╻  
┃  ┣┳┛┗┳┛┣━┛ ┃ ┃ ┃┃  
┗━╸╹┗╸ ╹ ╹   ╹ ┗━┛┗━╸
version 2.6.1 (f96e1e4)

Loading module Cryptol
Loading module T
Loading module T'
cryptol: You have encountered a bug in Cryptol's implementation.
*** Please create an issue at https://github.com/GaloisInc/cryptol/issues

%< --------------------------------------------------- 
  Revision:  f96e1e49fb45c752a3f06a93654856457c84fbe0
  Branch:    HEAD
  Location:  ModuleSystem
  Message:   Interface not available
             `T
CallStack (from HasCallStack):
  panic, called at src/Cryptol/Utils/Panic.hs:21:9 in cryptol-2.6.1-ElRFujg5t5fJcZFYCvRhxI:Cryptol.Utils.Panic
  panic, called at src/Cryptol/ModuleSystem/Monad.hs:409:16 in cryptol-2.6.1-ElRFujg5t5fJcZFYCvRhxI:Cryptol.ModuleSystem.Monad
%< ---------------------------------------------------