Added description of epsilon semantics
format changes
Included epsilon param for non-constructor factory calls. Minor format changes too