Type Checking
Type Checking for label method
More voluntary type information

This reverts commit 5dd7542438bfae8034ad417f4640812e33ae3e0d.