typechecking gep instructions with named structures