MIT's fluid-let seems much more useful than guile's fluid system of explicit declarations. One still cannot define within a define though. There are most likely other limitations too because we are creating a dynamic environment within lexical environment.