variable definition and their types