Re-arranged conversions.
Added primitive narrowing conversion.
Added dummy reference widening and narrowing conversion.
Added typing rule for cast.
Clean up.