globalize let bound fn's only after typechecking
adapt to localized lets
use head strict cons (!:) in list comprehensions