Remove parts of eval-mc not relevant to SBCL
Remove optimization declaims
Add standard SBCL file headers

(Pending approval from mbenkard).
Make a simpler entry point, instead of using the EVAL-MC guts directly in eval.lisp
Minimally compiled functions are compiled functions
Fix handling of required parameters that are also globally special