[Typing] Type inlining is now realized. Needed to change expression type pointer to RefCell<Rc<_>> instead of Rc<RefCell<_>>. It closes #33 and is related to #15.