typelock 0.2.0

Enforce security boundaries at the Type level
Documentation