Type checking
Added peek(n)
Added contract addr acessors
Updated fees
re: Added contract fees