(compiler: pl0): update some thoughts on function type.