Linear types proposal for Hare