Adhered serializable class contracts