WyC added support for type checking destructure assignments.