-- Cleanup whether types passed to functions are evaluated or not.
-At this point, I think types should always be evaluated. That means
-passing a quote character in front of non-keyword types. So
-:char and '(:array :char) is the way types should be specified.
-This may involve stripping the (quote ...) for some implementations
-like CMUCL which doesn't evaluate the type argument.