A basic Branch type (subtype of Reference)