slide: Behavioral subtyping constraints