Function check 

pub fn check(
    model: &Model,
    schema: &Schema,
    budget: Budget,
    report: &mut Report,
)

Every type check, in a fixed order.