DelegatesTo in AstSpecificationCompiler for better IDE autocomplete