Consider replacing SynthesizedLooseDeclarationsTypeDeclaration with a specialization of TranslatedRecord

[PathogenDavid]

Besides having a really weird name, it's a bit annoying to have to special-case for handling this type when you want to reason about functions from the perspective of their parent.