Refactor memory model of type checker

assigned to @loutr

created branch 15-refactor-memory-type-checker to address this issue

mentioned in merge request !17 (merged)

added Kernel Optimisation labels

changed milestone to %Alpha release

marked this issue as related to #18 (closed)

mentioned in issue #18 (closed)

added Doing label

mentioned in merge request !28 (merged)

mentioned in issue #38 (closed)

removed Doing label

added To review label

closed with merge request !17 (merged)

closed with commit c006edd4

mentioned in commit c006edd4

mentioned in commit 1172ecc9

mentioned in commit e138e7df

mentioned in commit 066c0829

removed To review label