fixed some bugs related to the value prop analysis + changed the df typesystem tests to handle the new warning messages