Added named lets to the extend-syntax