[SYAC Compilers] Added prac 4 naive type checking
[SYAC Compilers] Added practical 4 domain lists
[SYAC Compilers] Add N1 semantics
[SYAC Compilers] Started semantics for M