Dai An Idris automation tool designed to assist with behavior-driven development, based on Cucumber/Gherkin to support type-driven development