clean up matcher.ml a bit
[flash] utilize FInstance information to determine if we need to cast type parameter fields (closes #523) (it belongs in a museum)