Adding the second layer for QDSLs and making Section 4 runnable