add preliminary support for array types
add support for named types
improve support for GEP
Try a different syntax for transformation functions:
Src => Tgt
improve support for bitcast
add support for multiple opt specs per file
preliminary support for preconditions
Test cases by David Menendez