add DOCUMENTATION.txt
add type check