Add compile-time checks for interface compliance.