A child with subluxation of lens and mental retardation died. Which of the following would have helped in his treatment?