added operator applicability check for assignment operators and moved some propagation code
added operator applicability check for assignment operators and moved some propagation code

MikePopoloski/slang,MikePopoloski/slang