mescc: Refactor type system: introduce <array>, <pointer>, <var>.