changes: now variable ownership is in the part of the type extension.