Final version for article in Journal of Functional Programming

For the article "Parameterized Cast Calculi and Reusable Meta-theory for
Gradually Typed Lambda Calculi".

Version 2 (corresponds to resubmission to JFP in May 2021)

v2.0

Merge branch 'wip'