Check for unsound erasure of type lambdas in core to sea translation

[benl]

Erasing type lambdas from mutable objects is unsound due to the problem with polymorphic update.

The Source type inferencer does a dangerous variables check to avoid introducing said type lambdas, but we should check that we don't erase them as well. (a double check).