Realisability semantics of parametric polymorphism, general references and recursive types