Refined the syntax a bit, added some more casts.
Added some standard library.
Tweaked some sanity tests.