Panic on missed typecheck. Updates #16.