Markables reference WFs instead of terms