Added function definition, tuple, record, datatype and signature