Find a better way to handle literal records

[tmonte]

The current implementation traverses to all the members and children of the literal record declaration, adding the final declaration to the possible type arguments. The final declaration is not a type node that can give us a type back.