Linear types for aliased resources