Modularized the syntax/semantics for impspec a bit better.