Function constrain_type 

pub fn constrain_type<T>(_x: T, _y: T) -> bool