runtypes

Runtime validation for static types