Added syntax checking package, updated some comments