Start of a new approach to detecting SML/HOL dependencies.

The advantage of this method is that it doesn't use a grammar;
everything happens in the lexer.