Clarifying type rules and expectations in assignment and dot access logic; making Any extend PTType rather than be considered an object or a primitive.