Rewrote the resolver to prepare for opacity.
Better treatement of file location for import (using the directory in which it is located)
Adding opaque and transparent modifiers

- makes the typechecking of Kraus very fast.
- this implementation of opacity is supposed to be safe wrt name collision for now
(cf failures/opacity.cub)
Checking that module name = file name