Move TypeTest to lang folder in tests
Write a sh#$ implementation of a Type::signature function
This allows to easer create signatures for functions
Write tests for Type::signature()