Add note.
Remove everything relating to struct match.
Don't use dynamic_cast to find let expressions.
Don't use dynamic_cast to find case expressions.
Introduce alternative implementation of get_bound_indices.
Remove old implementation of get_free_indices.
Add note.
Remove some more dynamic casting.