modify to verify that types of place and expression in a SET statement are same
modify to verify types of forms in IF statement and INLINE-IF expression