is now implemented. Testing hasn't gone much beyond smoke testing. The detail code generation has room for improvement, but I'll save that for when the compiler is successfully bootstrapped.