Halliday%27s ordered typology of systems