Extend rule type analysis to accept sort alias casts in LHS position without complaining.
Extend rule type analysis to accept sort alias casts in LHS position without complaining.

metaborg/dynsem,metaborg/dynsem