Refactoring for base and abstract types: Moving Base into base folder; Splitting the abstract type and infer&specialize routines;