A linear logic suite for all your needs