TypeLength
basic modules defination