Initial work on inference of guarded data declarations and projections.