Reimplement typing for Casts to support any term match/build. Support list casts as the LHS of rules.
Reimplement typing for Casts to support any term match/build. Support list casts as the LHS of rules.

metaborg/dynsem,metaborg/dynsem