Linear/non-Linear Types For Embedded Domain-Specific Languages