expr type checking in (should work)