typo
short section on phantom types
finished java language notes; next is API
purple package import names