Errors

Note: These codes are preliminary for now.

Code	Reason
0x00xxx	CLI Tool
0x10xxx	CoCos
0xD0xxx	ST serialization
0x80xxx	Type Check (CoCo)
0x81xxx	Type Derivation (might happen while ST completion)
0x90xxx	Refinement related
0xFFxxx	Verification-specific
0xA0xxx	Internal error