fixed typecheck for dotnote (dispatch) and all instances of duplicate variables and inheritance inssues. all files compile