* Reject validation of contract with unknown exports * Validate imports eagerly * Increment spec version