`var x:` available types should be listed
var x:available types should be listed