Freeze casts of bare constants to typed PsConstantExprs

The type of the argument to a cast is hard to infer because there is no context from the enclosing scope. Unless a typed symbol appears in the argument, the typifier has no way to determine the type of the argument. For more discussion see #97.

This MR fixes the issue for casts of bare constants, e.g. CastFunc(0, float64) by freezing them to constants of the target type directly. Additionally, the typifier now raises an error if the type of an argument to a cast can not be determined.

tests/nbackend/kernelcreation/test_freeze.py

@@ -29,6 +29,7 @@ from pystencils.backend.ast.expressions import (
     PsGe,
     PsCall,
     PsCast,
+    PsConstantExpr,
 )
 from pystencils.backend.constants import PsConstant
 from pystencils.backend.functions import PsMathFunction, MathFunctions
@@ -286,3 +287,6 @@ def test_cast_func():
 
     expr = freeze(CastFunc.as_index(z))
     assert expr.structurally_equal(PsCast(ctx.index_dtype, z2))
+
+    expr = freeze(CastFunc(42, create_type("int16")))
+    assert expr.structurally_equal(PsConstantExpr(PsConstant(42, create_type("int16"))))