Types module initial implementation