Function has_type 

pub fn has_type(ir: &Ir, type_expr: InstId, value: InstId) -> bool

Checks if a concrete IR constant value matches a type expression.

This is used at system boundaries (fact loading, external input) to validate that values conform to declared types. It is NOT needed for derived facts when the bounds checker has already proven conformance statically.