Added function types in specs