fix: halt interpreter on error
fix to make type checker recognize Cons