Added precise resolving of interface values.
A bunch of other tweaks.