checkpoint use of type classes for defaults in Array.v sel
checkpoint use of type classes for defaults in Array.v sel

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl