update types of uncons and unsnoc