Added aliasTable into world
Updated documentation
Fixed faulty imports after refactoring functor -> mappable
Reversed AT function added
Types now propagate correctly with public imports