added ScopedTypeVariables extension so that I can annotate
the variable `r` in decompress to have type Int so that no warnings about defaulting r to Integer happen.