Modified LambdaCore.lam to reflect some of the new features