stechio

@agentgt: > I know have said this probably too many times but again it is best to think of JSpecify and the annotations as types especially similar to generics. >...