Validates types for given and desired values