Initial README, including basic language style guide and types.