more expr typing
next: calls and zero arity