Better error handling

Pokrýt možnost chytat výjimky pro:

• checks
• (unique) constraints
• domain types

Nápad: Co kdybychom tyto výjimky anotovali je nu tabulek, kde tyto chyby opravdu mohou nastat?