Change symbol typification: Infer unknown LHS data types from RHS

This MR extends the typifier to infer the data type of untyped LHS symbols from an Assignment's RHS.

This feature is required when pystencils extracts subexpressions of non-default type, such as long boolean expressions from piecewise definitions.

Also, a few additional test cases for the typifier are added.

added feature label

requested review from @he66coqe

assigned to @da15siwa

marked this merge request as draft

added 1 commit

• fcbdf0f5 - Be more conservative about what is considered an LHS symbol

Compare with previous version

marked this merge request as ready

changed the description

approved this merge request

mentioned in commit 169e3f8a

merged