Combining Deep and Shallow Embedding for EDSL