Function type_error 

pub fn type_error(
    location: SourceLocation,
    message: impl Display,
    expected: impl Display,
    found: impl Display,
    help: impl Display,
) -> Error

Create a type error with location and helpful guidance.