reimplemented type defs and construction for basis.jl