add typing rules for left section and clean up typing of applications
add typing rules for left section and clean up typing of applications

darcs-hash:20051211084109-1a7c6-edc4778d98e00a88ae7693c0cf8ec5ddb6b04db9

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc