Runtime: compare_val now raises an exception when comparing abstract values

Fixes #65.