continued the type-free section
added info and syn sem of l-cal
Merge pull request #9 from cameronraysmith/master

added info on syn and sem