first version that can run

not support user defined procedure now, there still are some bugs in type system
bugs in quotation