Language.Glambda.Check