The core of the FSCL compiler, used also by FSCL plugins