Added function specifications with type information.