typed racketみたいな型推論をcommon lispでする方法ないのでしょうか?