added a mini acl2 dsl