Added lexical code and started syntactic especification