WyC: now compiles at least the simplest possible file.