Developing Realisability Semantics for Intersection Types and Expansion Variables