Implement member access check
Implement struct definition
wip type object literal
Add test