Finished implementation of instances for value types.