Yes! I have played with Shen before.

IIRC the type checker is literally a Prolog.