Providing Programmable Relations over Software Objects in Aspen ; CU-CS-350-86