TypeInfer-Function Complete + changes to CastOk & Step-Function
Merge branch 'TypeInfer-CallFunction'