Explain module types in README, add type syns for Strict types