Make primitive types that extend from Value be structs, and some errors when extending a struct from a class, etc.