Interpreter: skeleton, Decl, ConstDef; base types' values casting