Untitled

;;all-binary: Number -> (listof String)
;; generates a list of all n-bit binary numbers
;;powerset: (listof X) -> (listof (listof X))
"""";;insert-everywhere: String String -> (listof String)
""