Added meaningful tests for HOptional.