semantic: Fix assigning to a variable of the same class type
semantic: Type ClassLiterals
semantic: Do variable extyping out of band