added function test; created structures for primary expreession and type specification