add notes
started LUIF grammar implementation