Fix for-loops for non-integer types.
Create executable in compilation.
Add support for "range-types".
Allow new type definitions.