Added more RASCAL.MF support to the console