I think downvoting on an "lol"-type comment is appropriate. Making that sort of comment adds nothing valuable to the conversation and actually detracts from the comments by adding unnecessary clutter. Whenever you want to "lol" a comment, just upvote it.