Type check f-strings

• Type check expressions within f-strings
• Fix parsing of tuples
  • Allow mutable fields within tuples
  • Fields within tuples are class fields if the tuple is a top-level declaration in a class
• Disallow access to private fields and functions from outside a class