In the Standard Units environment, the global type function is replaced by a type function that converts any unevaluated arithmetic operators, equalities, or inequalities to their global equivalents.  The first argument is tested to check whether it is a valid unit name.

For more information about this function, see the global type help page.

type(a = 3, 'name=integer');

$\mathrm{true}$

with(Units[Standard]):

:-type(a = 3, 'name=integer');  # this unexpectedly returns false

$\mathrm{false}$

type(a = 3, 'name=integer');

$\mathrm{true}$