raise notation level for ;; and ; to reduce number of parens
raise notation level for ;; and ; to reduce number of parens

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl