Added a draft of documentation on typing system