pub fn parse_prism( program: &str, ) -> Result<(TcEnv, UnionIndex), AggregatedParseError<'_, SetError<'_>>>