Add basic types to the kernel's asm

[4l0n50]

Sometimes, debugging the kernel code can be extremely painful, only to discover that the issue was caused by a missing DUP(i) or an incorrect SWAP(i). These errors often result in evaluating a function (we don't really have functions, but essentially we do) with an incorrect argument—for instance, passing an address where a boolean was expected. Such errors could potentially be caught easily with a simple type checker.