A micro library for naive type checking