Function check 

pub fn check(
    statement: &(impl MersStatement + ?Sized),
    info: CheckInfo,
) -> Result<Type, CheckError>