Nothing uses `UndefinedProperty` anymore, we can delete it.