The __builtin_types_compatible_p technique used here would be a great complement to http://libcello.org/ seen on HN a few days ago.