HOLCF: eine konservative Erweiterung von HOL um LCF