fixed procedure names
updated packages for p86.rkt and added p87.rkt