#include <boost/proto/proto.hpp>

namespace proto = boost::proto;

typedef proto::terminal<int> int_terminal;
typedef proto::terminal<double> double_terminal;

template <typename Expr>
struct actor1;

struct grammar1;

struct domain1
    : proto::domain<
        proto::pod_generator<actor1>
      , grammar1
      , proto::default_domain
    >
{};

struct grammar1
    : proto::or_<
        proto::plus<grammar1, grammar1>
      , int_terminal
    >
{};

template <typename Expr>
struct actor1
{
    BOOST_PROTO_BASIC_EXTENDS(Expr, actor1<Expr>, domain1)
};

template <typename Expr>
struct actor2;

struct grammar2;

struct domain2
    : proto::domain<
        proto::pod_generator<actor2>
      , grammar2
      , domain1
    >
{};

struct grammar2
    : proto::or_<
        grammar1
      , double_terminal
    >
{};

template <typename Expr>
struct actor2
{
    BOOST_PROTO_BASIC_EXTENDS(Expr, actor2<Expr>, domain2)
};

actor1<int_terminal::type> t1 = {{0}};
actor2<double_terminal::type> t2 = {{0}};