Implemented named-let via syntax expansion