Splitted policy up in language and behaviour, added explanation for expire statement, and some typo fixes