Unboxing based on type information from guards

If variables are guarded to primitive types (int, float64, char), then there's assurance about their types -- an error would be raised in attempting to set them to another type. Therefore unboxed arithmetic can be done for operations whose argument and return types are statically known.