variable type checking across all tools