Halliday's ordered typology of systems