Add .lib parsing to main file + debug a bit the TypeChecker