Added nested getters/setters. Type inference for them is still WIP