Innermost many-sorted term rewriting on GPUs