unresolved static types should simply macroexpand to the input form