How I spent my winter vacation

Another experimental type system. Might be helpful to someone trying
to resolve issues with existing imglib2 type system. Useful or not
this was fun!