This is vastly more pattern matching than term rewriting. In a term rewriting system you have no types for a start: https://en.wikipedia.org/wiki/Rewriting
is that important here? it looks like semantically types as presented are no more than magic constants to match on
loading story #42067135