Nice notation for bound syntax