(compiler: pl0): implement function type.