added type abbrevs for indexes and test data

The "index" for the assertEq fun is a record of equality predicate and
show function. Test data is a record of expected value and actual
value.