Part 4 almost done. Verify inference and coercion and apply to all functions.