might need mids after all -- but maybe redefining the walk in walktypedec would also work