newExt(M,N,Check =>true)
Makes newExt perform various checks as it computes.
The object Lift is a symbol.