Add type checking on variable assignment value; see test5.sfp for
unsolved test cases.