[FOLD] add checked/unchecked ctors