Problem: Sticky type checking is more annoying than useful. Solution: Remove the error for changing a variable type.