grammar: append/fetch with lists/streams/functions
general types and simplified type cast