Full intuitionistic linear logic