semantic: Correctly handle public import expressions.