extending types, adding tests for them