add notes for eval + typecheck
example usage, but broken