adding simple - pair indexed refinements
explicit apply predicates
initialize Vector & insertSort
add abstr ref description