package DX::Scope;
-use Types::Standard qw(HashRef ArrayRef);
+use Types::Standard qw(HashRef ArrayRef Str);
use DX::Class;
has predicates => (is => 'ro', isa => HashRef[Predicate], required => 1);
has locals => (is => 'ro', isa => ArrayRef[DictValue], required => 1);
-has lex_map => (is => 'ro', isa => HashRef, required => 1);
+has lex_map => (is => 'ro', isa => HashRef[ArrayRef[Str]], required => 1);
#has known_facts => (is => 'ro', required => 1);