fix Titan specialization, type method in Element, return types overall