Created NHol.Light.Syntax and NHol.Light.Syntax.Tests projects.