split directories for standard and refined type system