Improve type resolution a bit
Implement len(). Add static typing when typejoin() is implemented