[python] First step in supporting type inference, based on the usage of sq_concat

[python] First step in supporting type inference, based on the usage of sq_concat #1033