It would be nice to have a consistent naming convention for our annotations, e.g. use `LazyVar` instead. Or even better, perhaps we should make all the annotations lowercase, except `LIQUID`?