Function parse_prism 

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