A DSL for Harvey actions