Development on the toolkit is proceeding incrementally; much of the code is being used in a processor for Lambda-RTL. I'll announce further information as events warrant. In the meantime, I am always happy to hear from users.
Thanks for your interest in the toolkit.