Implemented type extensions (extends keyword)