implement definition-time let-statement