Function minitt::type_check::check_main

pub fn check_main<'a>(expression: Expression) -> TCM<TCS<'a>>

checkMain in Mini-TT.