Implement defineOwnProperty
Incorporating the changes of defineOwnProperty
Implement defaultValue
working on built-in functions
Merge branch 'master' of https://github.com/daejunpark/javascript-semantics
Merge branch 'work'

Conflicts:
	js.k
Incorporating the previous merge