module LambdaStoreHLL