small bug fix
removed main module
small modifications to includes resolution
added phpSystem to asts