Invalid variable warnings

Variables whose types don't fit a certain use case are now clearly marked as disabled, and show a tooltip outlining the issue.