improve type testing

[luxass]

The Type Inferrence works great, but a small change can break everything.

So by adding more type tests, we could prevent this from happing.