Allow non-constant record aggregates
Fix record and array comparison with real values