Syntax+semantics for impspec done.