Implement static if support for structs, same as templates
Support unique template instantiation with integers. (TODO other types)
Correctly pass through the return value of the program in -F -run mode