I believe this should use `exprtype` and then look for `Type{T}`, where `T` is an immutable type.