Interface Satisfaction Checks

Ensure custom types adhere to the error contract during compile-time through static analysis.