Function is_compatible 

pub fn is_compatible(expected: &Type, found: &Type) -> bool

Check if two types are compatible under gradual typing. any is compatible with everything. none is compatible with option<T>.