Export more symbols.
More type inference functionality.
Several improvements.