TypeCheckUtil
macwire
typeCheckExpressionOfType
TypeCheckUtil