Add ti_encode.py (compiler) and add documentation