Add more errors

* Add more errors instead of non-exhaustive pattern matching.