v0.2.5 release

@ktrans

Improve the way type parameters (including the Kind parameter of the algebra for which transformK is being generated) are "bumped" in the case of implementing methods in the transformed algebra.

Previously, there was a chance that parameter names could clash.

Also, add an error case for when a type member definition shadows the original algebra's Kind.