-- |Builds a named hypothesis.
hypothesis :: String -> Hypothesis -> (String, Hypothesis)
hypothesis name hp = (name, hp)
hypothesis :: String -> Hypothesis -> (String, Hypothesis)
hypothesis name hp = (name, hp)
hypothesis name hp = (name, hp)