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.