insort in lams/LambdaCore.lam