Merge "Added SEA IR type infrastructure (and a bit of cleanup)." into dalvik-dev