Are there any languages with datatypes with built in version control? Would be pretty great for debugging.