project layout updated
removed some warnings (String return type added explicitly)
added unit test for IterableExtensions
added unit test for LTL parser
added unit test for TADL parser