Rewrote with-args with syntax-case.
Modified not to raise an error when the rest argument is specified.
Removed unused library (match) from import clause.
Added document for (getopt)