confusing error message when unify `int` with `unit`

[Hongbo]

func hello ( ) int {
} 

This expression has type int, which is a abstract type and not a variant.
Maybe we should not treat unit as a variant