Introduce function types informal specification