Implemented integer shrinking

Now .Net integers can be shrinked to a non-standard representation (for
example, 13bit signed).
Fixed a silly mistake in the file header template XD