start to implement strong type system, real 'qoute' and 'list'