Talk:Halliday's ordered typology of systems