allow ctor types refactor -> is_bound
style