JavaScript DSL for functional Set Theory