Re-add insert overload to defs