Implement print function for the option type