better wrap-interface type checking & error messages
Symbolize all tags in wrap-interface
Propagate and resolve tags through defaults