Fixed a bug in the type assigner that left impossible (i.e. conflicting) typings in the list of possible typings and only added the supertypes instead of replacing the conflicting typings with them. I also improved performance and memory consumption.